21. Logical Foundations of Cyber-Physical Systems /
Author: by André Platzer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
Classification :
QA8
.
9-QA10
.
3
22. Logical Structures for Representation of Knowledge and Uncertainty
Author: by Ellen Hisdal.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
23. Many-sorted logic and its applications
Author: edited by K. Meinke and J.V. Tucker
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
Classification :
QA
76
.
9
.
M35
M35
1993
24. Nonclassical Logics and Information Processing :
Author: edited by David Pearce, Heinrich Wansing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
25. Practical Applications of Computational Intelligence Techniques
Author: edited by Lakhmi Jain, Philippe Wilde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
26. Rough Sets :
Author: by Zdzisław Pawlak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
Q335
.
B993
1991
27. Soft Computing for Knowledge Discovery
Author: by James G. Shanahan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
28. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
Classification :
Q
334
.
S632
1990
29. The logic of information structures
Author: Wansing, Heinrich
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
W235
1993
30. The logic of information structures
Author: Heinrich Wansing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
681
31. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
Author: by Bilal M. Ayyub, Madan M. Gupta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
